graph reachability造句

Starting from relational algebra and first-order logic ( which are equivalent by Codd's theorem ) and the insight that important queries such as graph reachability are not expressible in this language, more powerful language based on logic programming and fixpoint logic such as datalog were studied.
It's difficult to find graph reachability in a sentence. 用graph reachability造句挺难的